10.1.5 theorem in chapter 10